<HTML><HEAD><TITLE>count(+Map, ?Count)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(m_map)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>count(+Map, ?Count)</H1>
Count the number of elements in a map.
<DL>
<DT><EM>Map</EM></DT>
<DD>A map
</DD>
<DT><EM>Count</EM></DT>
<DD>The number of elements in Map
</DD>
</DL>
<H2>Description</H2>
	<P>
	Counts the number of elements in the map Map, and attempts to
	unify the result with Count.
	</P>
	<P>
	This predicate should only be called with maps created by other
	predicates from the map module.
	</P>
	
<H3>Fail Conditions</H3>
Fails if Count does not unify with the number of elements in Map.
<H3>Resatisfiable</H3>
no

</BODY></HTML>
